大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

Maturing Usability [electronic resource] : Quality in Software, Interaction and Value

0
索取号：
作者：Law、 Effie Lai-Chong.、Hvannberg、 Ebba Thora.、Cockton、 Gilbert.、SpringerLink (Online service)、
出版社：London : Springer London, 2008.

Modelling in Mechanical Engineering and Mechatronics [electronic resource] : Towards Autonomous Intelligent Software Models

0
索取号：
作者：Avgoustinov、 Nikolay.、SpringerLink (Online service)、
出版社：London : Springer London, 2007.

The Geospatial Web [electronic resource] : How Geobrowsers, Social Software and the Web 2.0 are Shaping the Network Society

0
索取号：
作者：Scharl、 Arno.、Tochtermann、 Klaus.、SpringerLink (Online service)、
出版社：London : Springer London, 2007.

The Safety of Systems [electronic resource] : Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13鈥ᵠFebruary 2007

0
索取号：
作者：Redmill、 Felix.、Anderson、 Tom.、SpringerLink (Online service)、
出版社：London : Springer London, 2007.

Mathematical Methods for Financial Markets [electronic resource]

0
索取号：
作者：Jeanblanc、 Monique.、Yor、 Marc.、Chesney、 Marc.、SpringerLink (Online service)、
出版社：London : Springer London, 2009.

Developments in Risk-based Approaches to Safety [electronic resource] : Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 7鈥順ebruary 2006

0
索取号：
作者：Redmill、 Felix.、Anderson、 Tom.、SpringerLink (Online service)、
出版社：London : Springer London, 2006.

Mathematical Approaches to Software Quality [electronic resource]

0
索取号：
作者：O'Regan、 Gerard.、SpringerLink (Online service)、
出版社：London : Springer London, 2006.

Grid Computing: Software Environments and Tools [electronic resource]

0
索取号：
作者：Cunha、 Jos茅 C.、Rana、 Omer F.、SpringerLink (Online service)、
出版社：London : Springer London, 2006.

System Software Reliability [electronic resource]

0
索取号：
作者：Pham、 Hoang.、SpringerLink (Online service)、
出版社：London : Springer London, 2007.

Mathematical and Computer Programming Techniques for Computer Graphics [electronic resource]

0
索取号：
作者：Comninos、 Peter.、SpringerLink (Online service)、
出版社：London : Springer London, 2006.

Agile Software Construction [electronic resource]

0
索取号：
作者：Hunt、 John.、SpringerLink (Online service)、
出版社：London : Springer London, 2006.

Artificial Life Models in Software [electronic resource]

0
索取号：
作者：Adamatzky、 Andrew.、Komosinski、 Maciej.、SpringerLink (Online service)、
出版社：London : Springer London, 2005.

Interoperability of Enterprise Software and Applications [electronic resource]

0
索取号：
作者：Konstantas、 Dimitri.、Bourri猫res、 Jean-Paul.、L茅onard、 Michel.、Boudjlida、 Nacer.、SpringerLink (Online service)、
出版社：London : Springer London, 2006.

System-level Test and Validation of Hardware/Software Systems [electronic resource]

0
索取号：
作者：Sonza Reorda、 Matteo.、Peng、 Zebo.、Violante、 Massimo.、SpringerLink (Online service)、
出版社：London : Springer London, 2005.

Constituents of Modern System-safety Thinking [electronic resource] : Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8鈥ᰠFebruary 2005

0
索取号：
作者：Redmill、 Felix.、Anderson、 Tom.、SpringerLink (Online service)、
出版社：London : Springer London, 2005.

Constructing Correct Software [electronic resource]

0
索取号：
作者：Cooke、 John.、SpringerLink (Online service)、
出版社：London : Springer London, 2005.